41. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
42. Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming )Computer science(-- Congresses
رده :
QA
76
.
63
.
L6324
1989
43. Logic and objects
پدیدآورنده : McCabe, Francis G.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Logic programming )Computer science(
رده :
QA
76
.
63
.
M42
1992
44. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
45. Logic for concurrency and synchronisation]CD[
پدیدآورنده : edited by Ruy J.G.B. de Queiroz
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
46. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
47. Logic in computer science: modelling and reasoning about systems
پدیدآورنده : Huth, Michael
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer logic,، Logic programming )Computer science(
رده :
QA
76
.
9
.
L63
.
H88
2004
48. Logic programming and knowledge engineering
پدیدآورنده : Amble, tore 5491
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic programming,، Expert systems )computer science(
رده :
QA
76
.
6
.
A464
1987
49. Logic programming & knowledge engineering
پدیدآورنده : AMBLE,TORE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC PROGRAMMING , EXPERT SYSTEMS )COMPUTER SCIENCE(
رده :
QA
76
.
6
.
A464
50. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
پدیدآورنده : edited by Charles Grant Brown, Gregers Koch
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
51. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
52. P-Prolog a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12V36
1987
53. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
.
Y36
1987
54. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
55. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
56. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
57. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
58. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
پدیدآورنده : Bhattacharya, Alakananda
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
رده :
QA
76
.
642
.
B484
59. Parallel logic programming
پدیدآورنده : Takeuchi, Akikazu
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
642
.
T35
1992
60. Parallel logic programming
پدیدآورنده : / Akikazu Takeuchi
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Parallel programming (Computer science),Logic programming
رده :
QA76
.
642
.
T35
1992
